Gnomit / Keyword Search / Info
Gnomit ? ? ?
Results 1 - 2 of 2 for:
computer science
2
java library
1 ?
 21,213,375 websites (safe search)

  1. André Platzer @ Carnegie Mellon University

    Homepage of André Platzer at Carnegie Mellon University. Dedicated to research on logic, computer science, and mathematics. Especially, verification of hybrid ...
    design7
    software7
    download5
    mathematics2
    theory2
    logic2
    computer science2
    verification2
    algebra2
    algorithms1
    Seti1
    Java applets1
    numerical1
    Java applications1
    object-oriented programming1
    computer algebra1
    hybrid systems1
    computing science1
    Java library1
    theorem prover1
    java packages1
    symbolic math1
    algorithmic templates1
    Andre Platzer1
    differential dynamic logic1
    KeYmaera1
    Orbital library1
    Rhythmomachia1

    symbolaris.com - 2009-04-14

  2. André Platzer

    Homepage of André Platzer at Carnegie Mellon University. Dedicated to research on logic, computer science, and mathematics. Especially, verification of hybrid ...
    design7
    software7
    download5
    mathematics2
    theory2
    logic2
    computer science2
    verification2
    algebra2
    algorithms1
    Seti1
    Java applets1
    numerical1
    Java applications1
    object-oriented programming1
    computer algebra1
    hybrid systems1
    computing science1
    Java library1
    theorem prover1
    java packages1
    symbolic math1
    algorithmic templates1
    Andre Platzer1
    differential dynamic logic1
    KeYmaera1
    Orbital library1
    Rhythmomachia1

    www.phlogic.com - 2009-02-12

software7 education5 computer5 engineering4 radius31 laptop3 notebook3 application3 numerical1 thin-client1 engineer3 learning3 engineers2 control3 computer repair3 mathematics2 object-oriented programming1 oop1 math2 java4 manufacturing3 analysis3

About Gnomit
Keywords may contain spaces.
Separate multiple keywords with commas.
Start a new search.
Enter new keyword(s).
Narrow down your search.
Add keyword(s).
Broaden your search.
Click on Keyword to remove from query.